--1.参数列表
--1.1.优惠卷id
local voucherId = ARGV[1]
--1.2 用户id
local userId = ARGV[2]
--1.3.订单id
local orderId = ARGV[3]

--2.数据key
--2.1.库存key
local stockKey = 'seckill:stock:' .. voucherId
--2.2.订单key
local orderKey = 'seckill:order:' .. voucherId

--3.脚本业务
--3.1.判断库存是否充足 get stockKey
local stock = redis.call('get', stockKey)
if(stock == nil) then
    --3.2.库存不存在，返回1
    return 1
end

--3.3.转换库存为数字
local stockNum = tonumber(stock)
if(stockNum == nil) then
    --3.4.库存格式不正确，返回1
    return 1
end

--3.5.判断库存是否充足
if(stockNum <= 0) then
    --3.6.库存不足，返回1
    return 1
end

--3.7.判断用户是否下单
if(redis.call('sismember', orderKey, userId) == 1) then
    --3.8.用户重复下单,返回2
    return 2
end

--3.9.扣减库存
redis.call('incrby', stockKey, -1)
--3.10.下单(记录用户)
redis.call('sadd', orderKey, userId)
--3.11.发送消息到队列中 XADD stream.orders * k1 v1 k2 v2
redis.call('xadd', 'stream.orders', '*', 'userId', userId, 'voucherId', voucherId, 'id', orderId)
return 0